- 双语例句 更多例句
1、
研究主体思维状态逻辑框架KARO中的多动作承诺机制，并对其进行语义解释。
互联网摘选
2、
因此，给出关于范畴位置移动的结构公设，构成特定的范畴类型逻辑系统，即多样模态逻辑，并给该系统的可能世界语义学的可通达关系确立相应的限制条件。
互联网摘选
3、
Criticisms of Situation Semantics on the Extensional Model Theory and the Possible World Semantics
情境语义学对外延模型论和可能世界语义学的批判
互联网摘选
4、
This is also shown by the vagueness of KaKbp → Kap in possible world semantics.
可传递性公式KaKbp→Kap在可能世界语义学上的模糊性，也表明了这一点。
互联网摘选
5、
巴威斯等对外延模型论语义学和可能世界语义学的批判，揭示了既有逻辑语义研究的不足，促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。
互联网摘选
6、
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
互联网摘选
7、
然而，尽管可能世界语义学能让我们更直观地理解模态逻辑表达式，但是依然衍生出许多问题。
互联网摘选
- 相关词组
- Disney worldn.迪斯尼世界;
- as quickly as possibleadv.尽快地;
- around the world世界各地；全世界;
- as possible尽可能
- as...as possible尽可能;
- for all the worldadv.无论如何;
- as early as possibleadv.尽快地;趁早;早早儿;
- all over the worldadv.全世界;举世;五洲四海;普天之下;
- become famous all over the world在世界各地成名
- come down in the worldv.落魄;沦落;
- die to the world隐居，不问人间事;
- business world工商界;
- bbc world news英国广播公司世界新闻;英国广播公司世界新闻频道；世界新闻电视频道；环宇新闻
- as soon as possible尽早，尽快;从速;及早;
- as much as possible尽可能;
- first world warn.第一次世界大战;
- Brave New World美好的新世界（指社会大变动后出现的使人满怀希望的新时期，常含有讽刺意味）;
- World Consumer Right Dayn.世界消费者权益日，每年的3月15日;
- a man of the worldn.通世故的人;
- dead to the world沉睡的，不省人事的;对世事不闻不问;
- 今日热词
- 热门搜索
- garment n.衣服;服装;
- Scott n.斯科特;
- tomorrow adv. 在明天，在明日;n. 明天;最近，不远的将来;
- bear n.熊;（在证券市场等）看跌的人;v.有（某个名称）;支撑;承受;显示;忍受;开（花）;携带;承担责任;生育，生（孩子）;转向（左或北等）;举止;心怀;不适于某事(或做某事)
- Moni [地名] [俄罗斯、塞浦路斯] 莫尼;
- dawn n.黎明;开端;曙光;萌芽;v.出现;开始，开始清楚;变得开朗;
- essence n.本质，实质;精华，精髓;香精;
- novelist n.小说家;
- push v.推（进）;按;力劝;督促;迫使…（生气）;推销;贩卖;挺近;推行;冒险;n.推;进攻;坚定的努力;激励;
- due adj.预期的;到期的;适当的;应有的;n.应得的东西;
- offshore adj.海上的;近海的;投放海外的;离岸的;adv.在近海岸;
- shine v.发光，照耀;把…照向;擦亮;出类拔萃;n.光亮;光泽;
